cs(200018968,200014429).
cs(200020073,200019883).
cs(200020689,200014429).
cs(200024764,200025626).
cs(200025145,200025848).
cs(200051863,200052096).
cs(200054011,200053715).
cs(200062508,202060768).
cs(200071623,200071171).
cs(200072813,200073901).
cs(200075633,200002669).
cs(200095340,200023608).
cs(200097808,200096978).
cs(200121430,200106479).
cs(200139051,200136423).
cs(200195522,200195737).
cs(200198579,200197826).
cs(200211006,200211934).
cs(200213400,200212992).
cs(200217329,200216002).
cs(200219593,200218994).
cs(200230716,200230546).
cs(200233158,200232691).
cs(200237321,200224068).
cs(200241327,200239721).
cs(200241617,200241500).
cs(200245331,200243643).
cs(200245331,200223119).
cs(200246258,200245884).
cs(200246975,200246453).
cs(200247955,200254471).
cs(200249128,200248093).
cs(200249999,200249425).
cs(200257706,200257317).
cs(200261089,201778173).
cs(200273160,200272185).
cs(200291232,202580603).
cs(200294104,200293908).
cs(200297051,200296442).
cs(200301705,200302508).
cs(200302983,200302685).
cs(200303176,200301277).
cs(200304392,200304920).
cs(200306824,200306550).
cs(200307625,200307524).
cs(200307756,200306687).
cs(200308836,200232930).
cs(200337587,202530480).
cs(200341640,202531897).
cs(200350769,200350614).
cs(200353399,200353638).
cs(200359141,200358593).
cs(200359947,200361270).
cs(200361106,200358992).
cs(200363255,200363608).
cs(200364341,200362722).
cs(200373781,200372843).
cs(200374063,200372843).
cs(200377506,200377338).
cs(200380508,200380396).
cs(200404590,200404765).
cs(200405481,200406448).
cs(200407260,200407022).
cs(200408992,200409275).
cs(200418257,200418631).
cs(200418959,200418749).
cs(200430741,200430473).
cs(200432721,200432423).
cs(200433194,200431009).
cs(200433949,200433768).
cs(200434545,200433583).
cs(200436730,200435702).
cs(200439460,200438786).
cs(200441780,202008364).
cs(200445694,200445393).
cs(200446272,200446474).
cs(200448470,200448330).
cs(200456092,200455935).
cs(200487379,200487183).
cs(200487704,200487593).
cs(200524146,200524015).
cs(200525570,200525735).
cs(200548789,200548658).
cs(200572826,200570184).
cs(200573108,200570184).
cs(200581733,200581400).
cs(200590669,200587965).
cs(200676223,200674417).
cs(200801981,200578275).
cs(200803336,200578873).
cs(200807709,200807511).
cs(200823635,202296591).
cs(200831295,200831123).
cs(200831889,200031098).
cs(200903103,200905210).
cs(200906246,200905210).
cs(200936422,200937845).
cs(200941023,200941695).
cs(201078671,201076728).
cs(201098634,201099047).
cs(201118615,201794921).
cs(201123102,202596068).
cs(201133605,201134068).
cs(201142446,201132466).
cs(201151495,201151899).
cs(201164162,201164493).
cs(201220231,201912987).
cs(201255880,201255684).
cs(201256741,201252764).
cs(201257892,201252135).
cs(201284688,200347202).
cs(201300906,201304370).
cs(201304771,201304618).
cs(201305587,201307262).
cs(201306283,201307088).
cs(201316461,201316841).
cs(201329607,201329213).
cs(201329957,201983632).
cs(201416767,201416511).
cs(201439378,201440075).
cs(201501386,201500510).
cs(201501920,201504229).
cs(201503996,201503339).
cs(201513899,201514734).
cs(201519115,201518967).
cs(201558759,201558568).
cs(201596269,200329254).
cs(201596973,200329254).
cs(201605958,201605794).
cs(201714958,201716213).
cs(201716999,201720480).
cs(201722199,201722010).
cs(201727523,201728507).
cs(201730288,201730523).
cs(201734240,201735248).
cs(201734561,201743196).
cs(201737288,201716511).
cs(201737394,201722010).
cs(201738453,201740043).
cs(201740637,201742440).
cs(201742295,201742135).
cs(201743656,201743801).
cs(201745335,201745079).
cs(201759172,201761176).
cs(201760546,201760721).
cs(201760827,201760443).
cs(201761366,200832070).
cs(201762811,201725676).
cs(201762811,201725490).
cs(201764259,201725265).
cs(201765364,201758877).
cs(201781736,201781511).
cs(201789516,201782203).
cs(201794514,201847240).
cs(201796771,201778173).
cs(201803991,201810311).
cs(201805309,201806883).
cs(201820312,201820208).
cs(201825616,201825090).
cs(201845217,201844865).
cs(201854195,201853614).
cs(201897581,201951556).
cs(201907659,201906445).
cs(201915250,201912987).
cs(201915884,201911030).
cs(201916187,201911030).
cs(201917708,201925199).
cs(201923102,201921967).
cs(201928931,201931930).
cs(201931619,201931110).
cs(201939426,201939033).
cs(201956152,201801953).
cs(201964557,201964430).
cs(201984580,201984159).
cs(201987519,201986772).
cs(201994077,201991747).
cs(202009114,202008364).
cs(202010968,202008364).
cs(202013236,202013026).
cs(202025186,201863405).
cs(202027614,201997858).
cs(202027772,202005556).
cs(202049824,202049107).
cs(202054639,202045240).
cs(202064244,202062276).
cs(202075197,202067665).
cs(202076104,200409939).
cs(202095018,200409939).
cs(202104754,202104471).
cs(202116920,202113837).
cs(202118940,202113837).
cs(202123991,202123807).
cs(202129085,202131508).
cs(202136207,202139918).
cs(202156874,202158208).
cs(202189800,202189956).
cs(202198776,202198994).
cs(202309108,202308628).
cs(202309428,202308628).
cs(202332601,201778173).
cs(202335359,202338081).
cs(202356659,202355773).
cs(202362536,202360949).
cs(202366135,202296591).
cs(202429697,202296591).
cs(202431663,202296591).
cs(202448815,202449906).
cs(202464643,202465202).
cs(202517664,202517485).
cs(202521319,202355773).
cs(202581128,202580603).
cs(202600809,202600694).
cs(202633451,202633721).
cs(202640658,202640505).
cs(202672806,202672608).
cs(202677713,200365423).
cs(202680593,200365423).
cs(202681354,202681817).
